аксиома полноты


аксиома полноты
completeness axiom

функциональная полнота — functional completeness

полнота сгорания — completeness of combustion

абсолютная полнота — absolute completeness

теорема полноты — completeness theorem


Русско-английский новый политехнический словарь. 2005.

Look at other dictionaries:

  • АКСИОМА — (от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к. л. теории, лежащее в основе доказательств др. ее положений. Долгое время термин «А.» понимался не просто как отправной пункт доказательств, но и… …   Философская энциклопедия

  • аксиома — Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником [ГОСТ 34.320 96] аксиома Предложение, принимаемое за истину без доказательств. Аксиомы являются исходными предложениями различных теорий. К аксиомам… …   Справочник технического переводчика

  • Аксиома — (от греч. axioma значимость, требование) 1) (в математике) предложение, принимаемое без доказательства, рассматриваемое как исходное при построении той или иной математической теории. Система аксиом, являющаяся логическим фундаментом обоснования… …   Начала современного естествознания

  • Теория ожидаемой полезности — В экономике, теории игр, теории принятия решений теория ожидаемой полезности  помогает с помощью неопределенности оценить полезность блага с точностью до положительного аффинного преобразования. Содержание 1 Виднейшие представители …   Википедия

  • Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… …   Википедия

  • Скалярное произведение —         векторов а и b, Скаляр, равный произведению длин этих векторов и косинуса угла между ними; обозначается (а, b) (или ab). Например, работа постоянной силы F вдоль прямолинейного пути S равна (F, S). Свойства С. п.: 1) (а, b) = (b, а), 2)… …   Большая советская энциклопедия

  • СКАЛЯРНОЕ ПРОИЗВЕДЕНИЕ — внутреннее произведение ( а, b).ненулевых векторов a и b, произведение их модулей на косинус угла j между ними: ( а, b) = | а || b| cos j. За j принимается угол между векторами, не превосходящий p. Если a=0 и b=0, то С. п. полагают равным нулю. С …   Математическая энциклопедия

  • Непрерывность множества действительных чисел — Непрерывность действительных чисел  свойство системы действительных чисел , которым не обладает множество рациональных чисел . Иногда вместо непрерывности говорят о полноте системы действительных чисел[1]. Существует несколько различных… …   Википедия

  • ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… …   История Философии: Энциклопедия

  • ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… …   История Философии: Энциклопедия

  • ВЕРА — один из главных феноменов человеческой жизни. По своей природе В. разделяется на религ. и нерелиг. «Все, что совершается в мире, даже людьми, чуждыми Церкви, совершается верою... весьма многие дела человеческие основаны на вере; и этому не одни… …   Православная энциклопедия